an industrial operator